大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFAC-IFIP Workshop on Real-Time Programming 的图书(共4977本)

Formal Methods for Industrial Critical Systems [electronic resource] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

0
索取号：
作者：Sala眉n、 Gwen.、Sch盲tz、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Open Source Systems: Grounding Research [electronic resource] : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011. Proceedings

0
索取号：
作者：Hissam、 Scott A.、Russo、 Barbara.、Mendon莽a Neto、 Manoel G.、Kon、 Fabio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Network and Parallel Computing [electronic resource] : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings

0
索取号：
作者：Altman、 Erik.、Shi、 Weisong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Real-Time Systems [electronic resource]

0
索取号：
作者：Chakraborty、 Samarjit.、Ebersp盲cher、 J枚rg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Machine Learning in Medical Imaging [electronic resource] : Second International Workshop, MLMI 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011. Proceedings

0
索取号：
作者：Suzuki、 Kenji.、Wang、 Fei.、Shen、 Dinggang.、Yan、 Pingkun.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Reachability Problems [electronic resource] : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings

0
索取号：
作者：Delzanno、 Giorgio.、Potapov、 Igor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Digital Forensics VII [electronic resource] : 7th IFIP WG 11.9 International Conference on Digital Forensics, Orlando, FL, USA, January 31 鈥ƥbruary 2, 2011, Revised Selected Papers

0
索取号：
作者：Peterson、 Gilbert.、Shenoi、 Sujeet.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Datalog Reloaded [electronic resource] : First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers

0
索取号：
作者：Moor、 Oege.、Gottlob、 Georg.、Furche、 Tim.、Sellers、 Andrew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Enterprise and Organizational Modeling and Simulation [electronic resource] : 7th International Workshop, EOMAS 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Selected Papers

0
索取号：
作者：Barjis、 Joseph.、Eldabi、 Tillal.、Gupta、 Ashish.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [electronic resource] : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

0
索取号：
作者：Ayala、 Jos茅 L.、Garc铆a-C谩mara、 Braulio.、Prieto、 Manuel.、Ruggiero、 Martino.、Sicard、 Gilles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Governance and Sustainability in Information Systems. Managing the Transfer and Diffusion of IT [electronic resource] : IFIP WG 8.6 International Working Conference, Hamburg, Germany, September 22-24, 2011. Proceedings

0
索取号：
作者：N眉ttgens、 Markus.、Gadatsch、 Andreas.、Kautz、 Karlheinz.、Schirmer、 Ingrid.、Blinn、 Nadine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Logic, Rationality, and Interaction [electronic resource] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

0
索取号：
作者：Ditmarsch、 Hans.、Lang、 J茅r么me.、Ju、 Shier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering for Resilient Systems [electronic resource] : Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings

0
索取号：
作者：Troubitsyna、 Elena A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Eurofuse 2011 [electronic resource] : Workshop on Fuzzy Methods for Knowledge-Based Systems

0
索取号：
作者：Melo-Pinto、 Pedro.、Couto、 Pedro.、Ser么dio、 Carlos.、Fodor、 J谩nos.、Baets、 Bernard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Artificial Intelligence Applications and Innovations [electronic resource] : 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI 2011, Corfu, Greece, September 15-18, 2011, Proceedings , Part II

0
索取号：
作者：Iliadis、 Lazaros.、Maglogiannis、 Ilias.、Papadopoulos、 Harris.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Engineering Applications of Neural Networks [electronic resource] : 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI 2011, Corfu, Greece, September 15-18, 2011, Proceedings Part I

0
索取号：
作者：Iliadis、 Lazaros.、Jayne、 Chrisina.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.